de forma demostrable

См. также в других словарях:

• Fantasía heroica — Saltar a navegación, búsqueda Dibujo de un dragón en Apocalipsis, de William Blake. La fantasía heroica o fantasía épica es un subgénero del género fantástico, principalmente de la literatura pero también presente en el rol, la historieta y el… …   Wikipedia Español

• Teoremas de incompletitud de Gödel — Kurt Gödel a los 19 años de edad, cinco años antes de la demostración de los teoremas. Los teoremas de incompletitud de Gödel son dos célebres teoremas de lógica matemática demostrados por Kurt Gödel en 1930. Ambos están relacionados con la… …   Wikipedia Español

• Décimo problema de Hilbert — Saltar a navegación, búsqueda El décimo problema de Hilbert es uno de los veintitrés que David Hilbert propuso al término del siglo XIX. Su enunciado original es: Dada una ecuación diofántica con cualquier número de incógnitas y con coeficientes… …   Wikipedia Español

• Lógica doxástica — La lógica doxástica (del griego antiguo δόξα, doxa, creencia ) es una lógica modal que se ocupa del razonamiento acerca de las creencias. Típicamente, una lógica doxástica utiliza la expresión para significar el razonador c cree que p es… …   Wikipedia Español

• Argumento ontológico — Saltar a navegación, búsqueda El argumento ontológico para la existencia de Dios es un razonamiento apriorístico que pretende probar la existencia de Dios empleando únicamente la razón y la intuición. Dentro del contexto de las religiones… …   Wikipedia Español

• Teorema — (Del gr. theorema, meditación.) ► sustantivo masculino 1 LÓGICA Proposición que afirma una verdad demostrable a través de un razonamiento. 2 LÓGICA, MATEMÁTICAS Expresión de un sistema formal, demostrable en el interior de dicho sistema. * * *… …   Enciclopedia Universal

• Negación lógica — Para otros usos de este término, véase negación. En lógica y matemática, la negación, también llamada complemento lógico, es una operación sobre proposiciones, valores de verdad, o en general, valores semánticos. Intuitivamente, la negación de… …   Wikipedia Español

• Tesis — Para otros usos de este término, véase Tesis (desambiguación). Una tesis (del griego (θέσις thésis establecimiento, proposición, colocación , aquí en el sentido de lo propuesto, lo afirmado, lo que se propone ; originalmente de tithenai archivar… …   Wikipedia Español

• Axioma — Saltar a navegación, búsqueda Un axioma, en epistemología, es una verdad evidente que no requiere demostración, pues se justifica a sí misma, y sobre la cual se construye el resto de conocimientos por medio de la deducción; aunque, no todos los… …   Wikipedia Español

• Kurt Gödel — Para el lenguaje de programación, véase Gödel (lenguaje de programación). Kurt Gödel Kurt Gödel Nacimiento 28 de abril …   Wikipedia Español

• Jesús Padilla Gálvez — Nombre completo Jesús Padilla Gálvez Nacimiento 28 de actubre de 1959 Almería, España …   Wikipedia Español